# used when publishing multiple navigators
string[]         names
NavigatorState[] states
